Das Zornsche Lemma ist ein zum Auswahlaxiom äquivalenter Satz der Mengenlehre und der Logik der auf Zorn zurückgeht. Ist G = (G, £) eine teilweise geordnete Menge, in der jede nichtleere Kette K nach oben beschränkt ist, so gibt es in G maximale Elemente. Eine Kette K ist dabei eine durch £ totalgeordnete Teilmenge von G, u...